Light-dependent destabilization of PHL inArabidopsis
نویسندگان
چکیده
منابع مشابه
Optical flow focusing: Light-induced destabilization of stable liquid threads
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملNew function of calreticulin: calreticulin-dependent mRNA destabilization.
Calreticulin was first identified as a Ca 2 -binding protein of the muscle sarcoplasmic reticulum in 1974, and the DNA encoding this protein was isolated in 1989.1 Calreticulin is a ubiquitous protein, found in a wide range of species and in all nucleated cell types, and has a variety of important biological functions. The human gene for calreticulin contains 9 exons and 8 introns. The deduced ...
متن کاملPHYTOCHROME-DEPENDENT LATE-FLOWERING accelerates flowering through physical interactions with phytochrome B and CONSTANS.
In flowering plants, light is one of the major environmental stimuli that determine the timing of the transition from the vegetative to reproductive phase. In Arabidopsis, phytochrome B (phyB); phyA; cryptochrome 2; and flavin-binding, KELCH repeat, F-BOX 1 are major photoreceptors that regulate flowering. Unlike phyA; cryptochrome 2; and flavin-binding, KELCH repeat, F-BOX 1, phyB delays flowe...
متن کاملgradual erasure of subjectivity: a study of samuel beckett’s trilogy in the light of postmodernism
ساموئل بکت بیشتر از هر نویسنده دیگری در نیم? دوم قرن بیستم با گفتارش زمان? ما را به آستان? از هم پاشیدگی کشانده است، آستانه ای که در آن مدرنیته با سرانجام گریزان اما غیرقابل اجتناب خود مواجه می شود. در این تحقیق روی مفهوم فردیت و محو آن در دوران پسامدرن تاکید شده و در طی آن سعی شده است که فردیت مدرن و پسامدرن در رمان های سه گانه بکت بررسی گردد. تحقیق حاضر یک بررسی کتابخانه ای و کیفی بر روی سه ر...
15 صفحه اولKAT and PHL in Coq
In this article we describe an implementation of Kleene algebra with tests (KAT) in the Coq theorem prover. KAT is an equational system that has been successfully applied in program verification and, in particular, it subsumes the propositional Hoare logic (PHL). We also present an PHL encoding in KAT, by deriving its deduction rules as theorems of KAT. Some examples of simple program's formal ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Plant Signaling & Behavior
سال: 2014
ISSN: 1559-2324
DOI: 10.4161/psb.28118